翻訳と辞書 Words near each other ・ Inner London ・ Inner London Crown Court ・ Inner London Education Authority ・ Inner London Education Authority election, 1986 ・ Inner London Probation Service ・ Inner loop ・ Inner loop (disambiguation) ・ Inner Loop (Rochester) ・ Inner Loop (Washington, D.C.) ・ Inner Manipur (Lok Sabha constituency) ・ Inner measure ・ Inner membrane ・ Inner Mind Mystique ・ Inner mission ・ Inner mitochondrial membrane ・ Inner model ・ Inner model theory ・ Inner Mongolia ・ Inner Mongolia Agricultural University ・ Inner Mongolia College of Farming and Animal Husbandry ・ Inner Mongolia Education Press ・ Inner Mongolia Medical University ・ Inner Mongolia Museum ・ Inner Mongolia Normal University ・ Inner Mongolia People's Publishing House ・ Inner Mongolia Radio Broadcasting Network ・ Inner Mongolia Suite ・ Inner Mongolia University ・ Inner Mongolia University for Nationalities ・ Inner Mongolia University of Finance and Economics Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Inner model ： ウィキペディア英語版 Inner model In mathematical logic, suppose ''T'' is a theory in the language :$L\; =\; \backslash langle\; \backslash in\; \backslash rangle$ of set theory. If ''M'' is a model of $L$ describing a set theory and ''N'' is a class of ''M'' such that :$\backslash langle\; N,\; \backslash in\_M,\; \backslash ldots\; \backslash rangle$ is a model of ''T'' containing all ordinals of ''M'' then we say that ''N'' is an inner model of ''T'' (in ''M''). Ordinarily these models are transitive subsets or subclasses of the von Neumann universe ''V'', or sometimes of a generic extension of ''V''. This term ''inner model'' is sometimes applied to models that are proper classes; the term set model is used for models that are sets. A model of set theory is called standard if the element relation of the model is the actual element relation restricted to the model. A model is called transitive when it is standard and the base class is a transitive class of sets. A model of set theory is often assumed to be transitive unless it is explicitly stated that it is non-standard. Inner models are transitive, transitive models are standard, and standard models are well-founded. The assumption that there exists a standard model of ZFC (in a given universe) is stronger than the assumption that there exists a model. In fact, if there is a standard model, then there is a smallest standard model called the minimal model contained in all standard models. The minimal model contains no standard model (as it is minimal) but (assuming the consistency of ZFC) it contains some model of ZFC by the Gödel completeness theorem. This model is necessarily not well founded otherwise its Mostowski collapse would be a standard model. (It is not well founded as a relation in the universe, though it satisfies the axiom of foundation so is "internally" well founded. Being well founded is not an absolute property.〔, Page 117〕) In particular in the minimal model there is a model of ZFC but there is no standard model of ZFC. ==Use== Usually when one talks about inner models of a theory, the theory one is discussing is ZFC or some extension of ZFC (like ZFC + $\backslash exists$ a measurable cardinal). When no theory is mentioned, it is usually assumed that the model under discussion is an inner model of ZFC. However, it is not uncommon to talk about inner models of subtheories of ZFC (like ZF or KP) as well. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Inner model」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.